Philosophy Dictionary of ArgumentsHome | |||
| |||
Propositional Logic: analyzes the relationship of whole statements, e.g. A v B, where A and B stand for complete sentences. - Difference predicate logic this is fine-grained and represents the attribution of predicates._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
H. Wessel on Propositional Logic - Dictionary of Arguments
I 35 Propositional Logic can be built in three different ways: 1) semantic (truth-functional), >Truth functions, >Semantics. 2) as a system of natural deduction, >Natural deduction, >G. Gentzen. 3) as axiomatic structure. >Axioms, >Axiom systems. Cf. >Predicate logic, >Logic._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Wessel I H. Wessel Logik Berlin 1999 |